Real-Time Self-Explanatory Simulation
نویسندگان
چکیده
We present Pika, an implemented self-explanatory simulator that is more than 5000 times faster than SimGen Mk2 [ Forbus and Falkenhainer, 1992 ] , the previous state of the art. Like SimGen, Pika automatically prepares and runs a numeric simulation of a physical device speci ed as a particular instantiation of a general domain theory, and it is capable of explaining its reasoning and the simulated behavior. Unlike SimGen, Pika's modeling language allows arbitrary algebraic and differential equations with no prespeci ed causal direction; Pika infers the appropriate causality and solves the equations as necessary to prepare for numeric integration.
منابع مشابه
A Self-starting Control Chart for Simultaneous Monitoring of Mean and Variance of Simple Linear Profiles
In many processes in real practice at the start-up stages the process parameters are not known a priori and there are no initial samples or data for executing Phase I monitoring and estimating the process parameters. In addition, the practitioners are interested in using one control chart instead of two or more for monitoring location and variability of processes. In this paper, we consider a s...
متن کاملPolynomial-time compilation of Self-Explanatory Simulators
Self-explanatory simulators have many potential applications, including supporting engineering activities, intelligent tutoring systems, and computer-based training systems.Yet compilation methods have been too slow for largescale systems, interpreter-based strategies are restricted to running on large computers with expensive commercial software, and neither technology has been shown to scale ...
متن کاملScaling up Self-Explanatory Simulators: Polynomial-time Compilation
Self-explanatory simulators have many potential applications, including supporting engineering activities, intelligent tutoring systems, and computer-based training systems. To fully realize this potential requires improving the technology to efficiently generate highly optimized simulators. This paper describes an algorithm for compiling selfexplanatory simulators that operates in polynomial t...
متن کاملEstimating the Time of a Step Change in Gamma Regression Profiles Using MLE Approach
Sometimes the quality of a process or product is described by a functional relationship between a response variable and one or more explanatory variables referred to as profile. In most researches in this area the response variable is assumed to be normally distributed; however, occasionally in certain applications, the normality assumption is violated. In these cases the Generalized Linear Mod...
متن کاملEvaluation of Phase Locking and Cross Correlation Methods for Estimating the Time Lag between Brain Sites: A Simulation Approach
Introduction: Direction and latency of electrical connectivity between different sites of brain explains brain neural functionality. We compared efficiency of cross correlation and phase locking methods in time lag estimation which are based on local field potential (LFP) and LFPspike signals, respectively. Methods: Signals recorded from MT area of a macaque’s brain was used in a simulation ...
متن کامل